#ifndef OSKERNEL_INCLUDE_LINUX_TTY_H_
#define OSKERNEL_INCLUDE_LINUX_TTY_H_

#include "types.h"

void console_init(void);
void console_write(char* str, u32 count);

#endif 